sin3x formula derivation